$\forall$$A$:Type, $n$:$\mathbb{Z}$. $A$ List($n$) $\in$ Type